Kurt Gödel - PDFSEARCH.IO - Document Search Engine

Kurt Gödel
Results: 43

#	Item
1	On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 09:35:40
2	Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: Gen Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:09:06 Theoretical physics Physics General relativity Exact solutions in general relativity Theory of relativity Lorentzian manifolds Gdel metric Metric tensor Spacetime Kurt Gdel Congruence Van Stockum dust
3	KW 12 Zeitraum Kurt-Gödel-Hörsaal.2016 Add to Reading List Source URL: typo3.univie.ac.at Language: German - Date: 2016-03-18 06:36:54
4	The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2013-04-23 16:45:47 Philosophy American philosophers Automated planning and scheduling Hierarchical task network Partial-order planning Kurt Gdel Logic programming Godel
5	FLOC 2014 Jan Otop IST Austria September 3, 2013 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-11 10:24:19 Federated Logic Conference One Tambon One Product IEEE Symposium on Logic in Computer Science Kurt Gödel Society City Airport Train Vienna Kurt Gödel Schengen Area Europe Political geography Austria
6	The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator: Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-28 19:49:51 Model theory Quantification Proof theory Propositional calculus First-order logic Existential quantification Negation Logical equivalence Kurt Gödel Logic Mathematical logic Mathematics
7	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
8	Remembrances of Kurt Codel by Olga Taussky-Todd , This article is adapted from a talk given in Salzburg in July 1983, The remarks on the Add to Reading List Source URL: calteches.library.caltech.edu Language: English - Date: 2012-12-26 00:26:58 Science Logical positivism Analytic philosophers Philosophers of science Mathematical logic Kurt Gödel Ernst Zermelo David Hilbert Karl Menger Mathematics Vienna Circle Philosophy
9	Forschungsdatenbank der Universität Zürich Philosophische Fakultät > Philosophisches Seminar > Allgemein > Prof. Dr. Katia Saporiti Gödel and Leibniz Summary / Zusammenfassung The idea of the project is to analyse th Add to Reading List Source URL: www.research-projects.uzh.ch Language: English - Date: 2014-11-01 20:50:06 Philosophy of mathematics Gottfried Leibniz Idealists Rationalists Kurt Gödel Mathematical logic Logic Philosophy Mathematics Science
10	History of Contemporary Logic from Boole to Godel Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-05-09 04:12:40 Philosophers of mathematics Gottfried Leibniz Logicians Mathematical logic George Boole Calculus ratiocinator Characteristica universalis Thoralf Skolem Kurt Gödel Philosophy Mathematics Science

UPDATE